In this paper, we study temporal logic for finite linear structures and surjective bounded morphisms between them. We give a characterisation of such structures by modal formulas and show that every pair of linear structures with a bounded morphism between them can be uniquely characterised by a temporal formula up to an isomorphism. As the main result, we prove Kripke completeness of the logic with respect to the class of finite linear structures with bounded morphisms between them.

The paper explicates the stages of the author’s philosophical evolution in the light of Kopnin’s ideas and heritage. Starting from Kopnin’s understanding of dialectical materialism, the author has stated that category transformations of physics has opened from conceptualization of immutability to mutability and then to interaction, evolvement and emergence. He has connected the problem of physical cognition universals with an elaboration of the specific system of tools and methods of identifying, individuating and distinguishing objects from a scientific theory domain. The (...) role of vacuum conception and the idea of existence (actual and potential, observable and nonobservable, virtual and hidden) types were analyzed. In collaboration with S.Crymski heuristic and regulative functions of categories of substance, world as a whole as well as postulates of relativity and absoluteness, and anthropic and self-development principles were singled out. Elaborating Kopnin’s view of scientific theories as a practically effective and relatively true mapping of their domains, the author in collaboration with M. Burgin have originated the unified structure-nominative reconstruction (model) of scientific theory as a knowledge system. According to it, every scientific knowledge system includes hierarchically organized and complex subsystems that partially and separately have been studied by standard, structuralist, operationalist, problem-solving, axiological and other directions of the current philosophy of science. 1) The logico-linguistic subsystem represents and normalizes by means of different, including mathematical, languages and normalizes and logical calculi the knowledge available on objects under study. 2) The model-representing subsystem comprises peculiar to the knowledge system ways of their modeling and understanding. 3) The pragmatic-procedural subsystem contains general and unique to the knowledge system operations, methods, procedures, algorithms and programs. 4) From the viewpoint of the problem-heuristic subsystem, the knowledge system is a unique way of setting and resolving questions, problems, puzzles and tasks of cognition of objects into question. It also includes various heuristics and estimations (truth, consistency, beauty, efficacy, adequacy, heuristicity etc) of components and structures of the knowledge system. 5) The subsystem of links fixes interrelations between above-mentioned components, structures and subsystems of the knowledge system. The structure-nominative reconstruction has been used in the philosophical and comparative case-studies of mathematical, physical, economic, legal, political, pedagogical, social, and sociological theories. It has enlarged the collection of knowledge structures, connected, for instance, with a multitude of theoreticity levels and with an application of numerous mathematical languages. It has deepened the comprehension of relations between the main directions of current philosophy of science. They are interpreted as dealing mainly with isolated subsystems of scientific theory. This reconstruction has disclosed a variety of undetected knowledge structures, associated also, for instance, with principles of symmetry and supersymmetry and with laws of various levels and degrees. In cooperation with the physicist Olexander Gabovich the modified structure-nominative reconstruction is in the processes of development and justification. Ideas and concepts were also in the center of Kopnin’s cognitive activity. The author has suggested and elaborated the triplet model of concepts. According to it, any scientific concept is a dependent on cognitive situation, dynamical, multifunctional state of scientist’s thinking, and available knowledge system. A concept is modeled as being consisted from three interrelated structures. 1) The concept base characterizes objects falling under a concept as well as their properties and relations. In terms of volume and content the logical modeling reveals partially only the concept base. 2) The concept representing part includes structures and means (names, statements, abstract properties, quantitative values of object properties and relations, mathematical equations and their systems, theoretical models etc.) of object representation in the appropriate knowledge system. 3) The linkage unites a structures and procedures that connect components from the abovementioned structures. The partial cases of the triplet model are logical, information, two-tired, standard, exemplar, prototype, knowledge-dependent and other concept models. It has introduced the triplet classification that comprises several hundreds of concept types. Different kinds of fuzziness are distinguished. Even the most precise and exact concepts are fuzzy in some triplet aspect. The notions of relations between real scientific concepts are essentially extended. For example, the definition and strict analysis of such relations between concepts as formalization, quantification, mathematization, generalization, fuzzification, and various kinds of identity are proposed. The concepts «PLANET» and «ELEMENTARY PARTICLE» and some of their metamorphoses were analyzed in triplet terms. The Kopnin’s methodology and epistemology of cognition was being used for creating conception of the philosophy of law as elaborating of understanding, justification, estimating and criticizing legal system. The basic information on the major directions in current Western philosophy of law (legal realism, feminism, criticism, postmodernism, economical analysis of law etc.) is firstly introduced to the Ukrainian audience. The classification of more than fifty directions in modern legal philosophy is suggested. Some results of historical, linguistic, scientometric and philosophic-legal studies of the present state of Ukrainian academic science are given. (shrink)

Physical theories are complex and necessary tools for gaining new knowledge about their areas of application. A distinction is made between abstract and practical theories. The last are constantly being improved in the cognitive activity of professional physicists and studied by future physicists. A variant of the philosophy of physics based on a modified structural-nominative reconstruction of practical theories is proposed. Readers should decide whether this option is useful for their understanding of the philosophy of physics, as well as other (...) philosophies of particular sciences. (shrink)

Konstantin Pollok offers the first book-length analysis of Kant's theory of normativity that covers foundational issues in theoretical and practical philosophy as well as aesthetics. Interpreting Kant's 'critical turn' as a normative turn, he argues that Kant's theory of normativity is both original and radical: it departs from the perfectionist ideal of early modern rationalism, and arrives at an unprecedented framework of synthetic a priori principles that determine the validity of our judgments. Pollok examines the hylomorphism in Kant's theory (...) of normativity and relates Kant's idea of our reason's self-legislation to the 'natural right' tradition, revealing Kant's debt to his predecessors as well as his relevance to contemporary debates on normativity. This book will appeal to academic researchers and advanced students of Kant, early modern philosophy and intellectual history. (shrink)

Coming fromI andCl, i.e. from intuitionistic and classical propositional calculi with the substitution rule postulated, and using the sign to add a new connective there have been considered here: Grzegorozyk's logicGrz, the proof logicG and the proof-intuitionistic logicI set up correspondingly by the calculiFor any calculus we denote by the set of all formulae of the calculus and by the lattice of all logics that are the extensions of the logic of the calculus, i.e. sets of formulae containing the axioms (...) of and closed with respect to its rules of inference. In the logiclG the sign is decoded as follows: A = (A & A). The result of placing in the formulaA before each of its subformula is denoted byTrA. The maps are defined (in the definitions of x and the decoding of is meant), by virtue of which the diagram is constructed. (shrink)

The short exposition of the triplet model of concepts and some definitions connected with it are given. In this model any concept may be depicted as having three characteristics: a base, a representing part and the linkage between them. The paper introduces the fuzzification of concepts in terms of the triplet model.

The scheme for classifications of concepts is introduced. It has founded on the triplet model of concepts. In this model a concept is depicted by means of three kinds of knowledge: a concept base, a concept representing part and the linkage between them. The idea of triplet classifications of concepts is connected with a usage of various specifications of these knowledge kinds as classification criteria.

The Soviet ideology treated natural science as one of its cornerstones and provided the state support for philosophical studies of science. Their main aims were to prove its intellectual superiority and to demonstrate its scientific character. Do these studies have some positive results and resources for surviving in post-Soviet times? The chapter gives the overview of present situation in Ukrainian analytical studies of science and indicates some perspectives of their developments. Some of these are connected with a careful structure-nominative analysis (...) of real scientific knowledge systems and relations between them. -/- Ideology and philosophical studies of science Complexity of scientific knowledge systems Components and structures of knowledge systems -/- . (shrink)

An application of diagrams for separating modes of theory development.

Philosophy of Science; Ukraine; Polysytemic nature of theories; Practical theories; Subsystems of a theory.

The triplet model treats a concept as complex structure that expresses three kinds of information. The first is about entities subsumed under a concept,their properties and relations. The second is about means and ways of representing the first information in intelligent systems. The third is about linkage between the first and second ones and methods of its constructing. The application of triplet models to generalization and development of concept models in philosophy, logic, cognitive psychology, cognitive science, linguistics, artificial intelligence has (...) been demonstrated. The componential structure of the triplet model and extended concept classification have been given. Theoretical considerations are combined with historical case-studies of concept history. For scientists and students with an interest in problems of knowledge structure and representation. Abstract and Extended Summary in English. (shrink)

Through the prism of republican theory, the paper discusses the nature of environmental protests and the judiciary’s responses to the related cases. The text argues that climate protesters act not solely to realise their freedom of assembly but also to understand their obligations to the environment and the community of citizens. An argumentation grounded in their belief that they were obliged to protest against climate change and even commit certain unlawful acts due to the state of necessity could give their (...) defence more strength, on the one hand, and inspire the courts to be more active in forcing governments to act on the climate cause, on the other hand. The paper consists of two sections, with the first discussing theoretical approaches to environmental citizenship, the alleged duty to protest against climate change, and their relationships with republicanism. The second section scrutinises case law from selected domestic and international courts dealing with climate protests. Specifically, it analyses the justifications for the right to protest against climate change presented in the submissions of applicants or defendants before the courts and the reasoning employed by the courts. (shrink)

As a social activity, the sciences are only possible through communication among scientists themselves and between scientists and society. The article analyses natural, biological, social and ideological prerequisites of scientific communication (SC) as an ensemble of interrelated acts of scientific information exchange. A taxonomy of professional networks as a medium for SC is proposed. The need for a permanent struggle for the preservation and development of the values of both a free society and science is emphasized.

It is proposed to analyze fuzzy concepts and relations between them in the frame of triplet concept modeling. Fuzzy concepts are introduced by means of the so-called fuzzification of dichotomous concepts. The cognitive and psychological aspects of concept possession are separated and studied.

The paper has three objectives: to expound a set-theoretical triplet model of concepts; to introduce some triplet relations (symbolic, logical, and mathematical formalization; equivalence, intersection, disjointness) between object concepts, and to instantiate them by relations between certain physical object concepts.

It is proposed to analyze the unity of scientific knowledge in terms of its structure-nominative reconstruction. -/- .

There are no universally adopted answers to the natural questions about scientific concepts: What are they? What is their structure? What are their functions? How many kinds of them are there? Do they change? Ironically, most if not all scientific monographs or articles mention concepts, but the scientific studies of scientific concepts are rare in occurrence. It is well known that the necessary stage of any scientific study is constructing the model of objects in question. Many years logical modeling was (...) dominant in the concept studies. Last decades, concepts came to be regarded as the subject of mathematical modeling. However, different authors take different features of concepts as independent variables of their models. Our objective is to characterize informally the spectra of relevant variables for the modeling of scientific concepts. (shrink)

The changes of concepts are described in the frame of concept triplet model. -/- .

The author of the article addresses sadism as an ontological problem and analyses the primordial way of solving the problem of human existence in the works of the Marquis de Sade, citing similarities and differences. To substantiate his thesis, the author analyses the correlation between corporeality and the ontological place of libertines and victims, proving that the ontological status is located in the body. Through the consideration of sadism and masochism, the author shows the transition of sadism into masochism, the (...) transfusion of energy flows of pain and pleasure, which are constituted by the will to power. This transfusion became the basis for the formation of the superbody. The superbody is formed as a result of the union of true and semi-real bodies. Accordingly, the author compares the World Female with the sadistic macrocosm, primordial man with the character of the Marquis de Sade, to demonstrate the coincidences in primordial and sadistic types of thinking. The author concludes that it is important for the Sade's character to transcend any corporeality, and his cosmos is completely subordinated to Thanatos. (shrink)

In this paper, we tackle the widely held view that practice-oriented approaches to ethics are conservative, preserving the moral status quo, and, in particular, that they do not promote any (fundamental) change in our dealings with animals or formulate clear principles that help us to achieve such change. We shall challenge this view with reference to Wittgensteinian ethics. As a first step, we show that moral thought and action rest on basic moral certainties like: equals are to be treated equally (...) and unequals unequally. We then explore the relations between this insight and the notion of the difficulty of reality elaborated by Cora Diamond. Our goal is to show that a Wittgensteinian-Diamondian approach to animal ethics is not necessarily morally conservative. Indeed, it offers a profound practice-oriented approach to animal ethics that is capable of promoting change in human dealings with animals because it is compatible with radical critique. (shrink)

The article examines the problem of alienation as a result of the conflict between consciousness and instincts, which includes aspects of 1) temporal conflict and 2) attempts to self-destruct the individual. Through this conflict, the imperfection of the individual makes it possible for him to develop. The authors also correlate the concepts of alienation and consciousness, which opens up space for criticism of Nietzsche's concepts of herd mentality and the possibility of human cognition of the external world.

The paper deals with the quandary of the neutrality and transparency of technologies. First, I show how this problem is connected with the image of the opening of 'black boxes' that is pivotal to much of science and technology studies. Second, methodological and socio-political dimensions of the 'black box' metaphor are discussed. Third, I analyze three typical solutions to the problem of the neutrality of technologies outside and inside constructivist technology studies. It is demonstrated that despite their apparent differences, these (...) solutions are similar in their logic of conceptualizing technology as a neutral intermediary. Forth, I look for an alternative to this logic in the actor-network theory of Bruno Latour. Here technologies are conceived in terms of an eventful association of heterogeneous entities irreducible to its conditions of possibility. The construction of technologies is understood as mediation, or as a 'making-do' process where creators are surprised by their creations and vice versa. In Latour's actor-network, technologies are interpreted as opaque and non-neutral entities. Finally, I turn to some object-lessons from smart technologies powered by neural networks to demonstrate that these are empirical vindications of Latour's conception of technical mediation. Particular attention is paid to the opacity and (non)interpretability of machine learning algorithms. (shrink)

The article is devoted to the criticism of the thesis about the female-feminist Enlightenment. The author analyzes the relationship between man, woman and nature in the context of domination. Under the influence of Rousseau's works, the author conducts a study of the social and natural in their correlation with the feminine-masculine. The author believes that the theory of female Enlightenment is a postmodern speculative discourse, and therefore has no historical validity.

This article is a commentary on ChatGPT and LLMs (Large Language Models) in general. It argues that this technology has matured to the point where calling systems such as ChatGPT “stochastic parrots” is no longer warranted. But it also argues that these systems continue to have serious limitations when it comes to reasoning. These limitations are much more severe than commonly thought. A large array of examples are given to support these claims.

Infinitary action logic can be naturally expanded by adding exponential and subexponential modalities from linear logic. In this article we shall develop infinitary action logic with a subexponential that allows multiplexing (instead of contraction). Both non-commutative and commutative versions of this logic will be considered, presented as infinitary sequent calculi. We shall prove cut admissibility for these calculi, and estimate the complexity of the corresponding derivability problems: in both cases it will turn out to be between complete first-order arithmetic and (...) the $\omega ^\omega$ level of the hyperarithmetical hierarchy. Here the complexity upper bound is much lower than that for the system with a subexponential that allows contraction. The complexity lower bound in turn is much higher than that for infinitary action logic. (shrink)

Born and Pauli, in talking of the style of science, meant its relatively stable features, which characterized a long period of scientific progress. “I do not mean,” wrote Born in 1953, “that there exist (outside mathematics) any unchanging principles, a priori principles in the strict sense of the term. But I think that certain general tendencies of thought exist, which change very slowly and which form definite philosophical periods with their own characteristic ideas in all fields of human activity, including (...) science. In a recent letter to me, Pauli used the expression ‘styles’; styles of thought, not only in art but in science too. In adopting this term, I would assert that style is also a characteristic of physical theory, and it is precisely this fact that gives its principles a certain constancy. They are, as it were, relatively a priori principles in relation to the particular period. If one is familiar with the style of one's time, one can make certain cautious predictions. One can at least reject ideas that are foreign to the style of one's time”. (shrink)

Non-classical science gives a very specific answer to the question of scientific errors and their epistemological value. But for all the specificity of this answer, it casts light on a problem that remains with us century after century, the historically constant problem of truth and error—one of the most fundamental problems of knowledge. At first sight, these two poles have always stood opposite each other, like good and evil, beauty and ugliness. But moral and aesthetic theories have long since left (...) behind this initial conception, and shown that the two polar concepts are in fact inseparable. As regards truth and error, their indivisibility has only become apparent in the context of non-classical science. Truth has ceased to be the absolute contradiction of error. Contemporary science finds it to be something relative, inseparable from its opposite pole. But the non-classical, retrospective approach, a re-evaluation of the past of science in the light of its present, and indeed even more in the light of its prognosis, its future, allows one to see that scientific truths that are adequate for the object of knowledge always reflect only one side of the objective world, a world which has an infinite number of sides. The irreversible process that leads from relative error to relative truth has an absolute character: an irreversible process of generalization, concretization and complication of a Weltanschauung that more accurately reflects the infinite complexity of life. (shrink)

In our times, when the pace of economic, scientific and technological, social and cultural change calls to mind the relativist velocities of contemporary physics, Einstein's criterion begins to be applicable to the historical process itself; movement can be recorded (and consequently the notion of velocity acquire meaning) provided an adequate reference system is available. Where science is concerned, such systems have always existed: historians have brought out the increase in adequate knowledge in the past by comparing it with present knowledge, (...) which then offered a system of absolute reference. But now, the theory of relativity, quantum mechanics, molecular biology and the radical transformation of standards of value in all cultural areas have made like absolutization of contemporary ideas impossible. Today ideas furnish no more than a point of departure for non-classical retrospection which, as Jaurès said, seeks the fire, not. the ashes, in the history of science. But: the fire of science, its dynamics, its movement, is inseparable from its value, its effect, its psychological ‘accompaniment.’ Contemporary science, with unprecedented dynamism, is distinguishable from classical science by its far more emotional coloring. It lays bare not only the logical collisions of knowledge but also the emotional collisions. Einstein called the history of science the ‘drama of ideas.’ A drama which sometimes turns into a tragedy. The tragic sense Lorentz was aware of in the crumbling of old conceptions is easily perceptible in the remark he made when he confessed he would have prefered to be dead before the structure of classical physics collapsed. For Erenfest the tormenting experience of a personal inability to understand the positive bases of non-classical physics was also tragic and, according to Einstein, was what drove him to suicide. Einstein's own dissatisfaction tor thirty years while he strove in the field theory alone to find a stable universal conception possessing more complete ‘internal perfection’ than the then existing solution, was again tragic. The real characteristic of the collisions of non-classical science, however, is their ambivalence: the tragic notes blend with the optimistic perception of irreversible general progress in knowledge. The collisions of knowledge and this optimistic perception together sound a very complex chord, major on the whole, but with minor harmonics. (shrink)

What is philosophy and what are its distinctive features? What is its relationship to the sciences whose business it is to study the actual world? With what should philosophy concern itself?-These are the fundamental questions dealt with in the article by Alfred Ayer. These questions are important and interesting. The article is written in lively fashion and stimulates a desire to discuss these subjects. There are some matters on which we do not disagree with Ayer, but concur. At the same (...) time we would like to express some objections to certain of his basic positions. (shrink)

By the end of the 20th century educational issues had become of global character due to the fact, that it is education that makes the basis for the social dimensions of the 21st century. The importance of educational issues can be explained by the post-industrial society being oriented at rising the significance of information and knowledge as being the main resources for the society development, at the priority of intellectual activities, resulting in changing the roleand place of education in the (...) society, at turning education into the strategically important sphere of our lives. (shrink)

The articles examines the teleofunctional solution to the problem of mental causation, presented by Dmitry Volkov in his recently published book Free Will. An Illusion or an Opportunity. D.B. Volkov proposes solutions to three big metaphysical problems – mental causation, personal identity, and free will. Solving the first problem, Volkov creatively combines the advantages of Dennett’s teleofunctional model and Vasilyev’s local interactionism. Volkov’s teleofunctional model of mental causation seeks to prove the causal relevance of mental properties as non-local higher order (...) properties. In my view, its substantiation is based on three points: (a) critics of the exclusion problem and Kim’s model of mental causation, (b) “Library of first editions” argument, (c) reduction of the causal trajectories argument (CTA 1) by Vasilyev to the counterpart argument (CTA 2) by Volkov. Each of these points faces objections. Kim’s criticism is based on an implicit confusion of two types of reduction – reduction from supervenience and from multiple realizability. The latter type does not threaten Kim’s ideas, but Volkov uses this very type in his criticism. The “Library of first editions” argument does not achieve its goal due to compositional features and because non-local relational properties are a type of external properties that cannot be causally relevant. The reduction of CTA 1 to CTA 2 is unsuccessful since, in the case of this reduction, important features of CTA 1 are lost – these are local mental properties, due to which the influence of non-local physical factors occurs. My main objection is that the concept of causally relevant non-local properties is incompatible with the very concept of cause. The set of causally relevant properties of cause can only be local. (shrink)

This article is devoted to the analysis of arguments from empirical science against free will. Its main purpose is to reveal their deep anti-naturalism. This anti-naturalism lies in the use of a concept of free will that cannot be the subject of naturalistic consideration, as well as in the various explanatory and ontological paradoxes that arguments from empirical science lead in case when someone is trying to generalize the explanatory principles underlying them. At the beginning of the article, the author (...) gives a general notion of the free will problem, a working definition of naturalism and the place of arguments from empirical science in discussions about free will. To achieve the main goal of the article, the author suggests a classification of arguments from empirical science, which includes five types: from prediction, from manipulation, from the brain, from illusion, from the substitution of concepts. In accordance with this classification, the structure of the article is defined, where each of the presented types is sequentially considered. The logic of considering each type of argument is approximately the same: explication of the essence of the argument of a particular type, its analysis, identification of basic principles and their generalization, demonstration of the negative consequences that it leads to, and answers to possible objections. In the course of the consideration, the author formulates an ontologically neutral concept of free will as a set of abilities associated with the agent’s control over his actions. At the end of the article, the main points is summed up, the idea of naturalistic compatibilism is proposed, the role of arguments from empirical science in discussions about free will is clarified, as is the problem of free will itself, the question of the sources of “chimerization” of naturalism is briefly highlighted, and the problem of completeness of the proposed reasoning is touched upon. (shrink)

We consider the Lambek calculus, or noncommutative multiplicative intuitionistic linear logic, extended with iteration, or Kleene star, axiomatised by means of an$\omega $-rule, and prove that the derivability problem in this calculus is$\Pi _1^0$-hard. This solves a problem left open by Buszkowski (2007), who obtained the same complexity bound for infinitary action logic, which additionally includes additive conjunction and disjunction. As a by-product, we prove that any context-free language without the empty word can be generated by a Lambek grammar with (...) unique type assignment, without Lambek’s nonemptiness restriction imposed (cf. Safiullin, 2007). (shrink)

Modern physics is developing with extraordinary rapidity. It is passing through a tremendous revolution. The boldest and most fantastic imaginings, which only yesterday appeared virtually unrealizable, are being brought to reality in the course of this revolution.